
SOLVER = CMSAT_SOLVER
SOLVER_PATH = $(TOP)/solvers/contrib/cmsat-2.9.5

all: cmsat.o wrapper.o
	ar cr libsatwrapper.a cmsat.o wrapper.o $(SOLVER_PATH)/cmsat/libcryptominisat.la


cmsat.o: wrapper.h cmsat.cpp
	g++ -g -c -D$(SOLVER) -I$(SOLVER_PATH) -I$(SOLVER_PATH)/cmsat cmsat.cpp

wrapper.o: wrapper.h wrapper.cpp
	gcc -c wrapper.cpp

clean:
	rm -f *.o *.a
